node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
node(146).
node(147).
node(148).
node(149).
node(150).
link(1,18) :- #0.687.
link(18,1) :- #0.219.
link(1,54) :- #0.88.
link(54,1) :- #0.83.
link(1,55) :- #0.907.
link(55,1) :- #0.418.
link(1,85) :- #0.311.
link(85,1) :- #0.25.
link(1,87) :- #0.384.
link(87,1) :- #0.255.
link(1,103) :- #0.679.
link(103,1) :- #0.779.
link(1,107) :- #0.574.
link(107,1) :- #0.948.
link(1,114) :- #0.568.
link(114,1) :- #0.252.
link(1,125) :- #0.121.
link(125,1) :- #0.727.
link(1,127) :- #0.831.
link(127,1) :- #0.105.
link(1,131) :- #0.856.
link(131,1) :- #0.885.
link(1,138) :- #0.268.
link(138,1) :- #0.701.
link(1,149) :- #0.913.
link(149,1) :- #0.895.
link(2,10) :- #0.735.
link(10,2) :- #0.027.
link(2,30) :- #0.478.
link(30,2) :- #0.31.
link(2,32) :- #0.686.
link(32,2) :- #0.163.
link(2,57) :- #0.795.
link(57,2) :- #0.965.
link(2,58) :- #0.634.
link(58,2) :- #0.168.
link(2,62) :- #0.364.
link(62,2) :- #0.306.
link(2,91) :- #0.339.
link(91,2) :- #0.716.
link(2,102) :- #0.163.
link(102,2) :- #0.045.
link(2,146) :- #0.93.
link(146,2) :- #0.798.
link(2,149) :- #0.546.
link(149,2) :- #0.509.
link(3,10) :- #0.005.
link(10,3) :- #0.521.
link(3,32) :- #0.959.
link(32,3) :- #0.971.
link(3,38) :- #0.945.
link(38,3) :- #0.986.
link(3,45) :- #0.992.
link(45,3) :- #0.207.
link(3,53) :- #0.605.
link(53,3) :- #0.866.
link(3,55) :- #0.802.
link(55,3) :- #0.94.
link(3,56) :- #0.937.
link(56,3) :- #0.612.
link(3,67) :- #0.566.
link(67,3) :- #0.708.
link(3,68) :- #0.422.
link(68,3) :- #0.746.
link(3,90) :- #0.156.
link(90,3) :- #0.682.
link(3,104) :- #0.772.
link(104,3) :- #0.909.
link(3,149) :- #0.476.
link(149,3) :- #0.984.
link(3,150) :- #0.949.
link(150,3) :- #0.866.
link(4,35) :- #0.081.
link(35,4) :- #0.868.
link(4,45) :- #0.024.
link(45,4) :- #0.409.
link(4,46) :- #0.52.
link(46,4) :- #0.58.
link(4,72) :- #0.723.
link(72,4) :- #0.86.
link(4,82) :- #0.927.
link(82,4) :- #0.776.
link(4,85) :- #0.187.
link(85,4) :- #0.986.
link(4,98) :- #0.401.
link(98,4) :- #0.656.
link(4,106) :- #0.622.
link(106,4) :- #0.405.
link(4,107) :- #0.573.
link(107,4) :- #0.824.
link(4,123) :- #0.349.
link(123,4) :- #0.972.
link(4,140) :- #0.157.
link(140,4) :- #0.559.
link(5,26) :- #0.473.
link(26,5) :- #0.906.
link(5,31) :- #0.472.
link(31,5) :- #0.401.
link(5,50) :- #0.922.
link(50,5) :- #0.155.
link(5,55) :- #0.509.
link(55,5) :- #0.759.
link(5,59) :- #0.251.
link(59,5) :- #0.339.
link(5,61) :- #0.794.
link(61,5) :- #0.614.
link(5,68) :- #0.978.
link(68,5) :- #0.855.
link(5,76) :- #0.533.
link(76,5) :- #0.077.
link(5,85) :- #0.838.
link(85,5) :- #0.902.
link(5,87) :- #0.437.
link(87,5) :- #0.966.
link(5,89) :- #0.324.
link(89,5) :- #0.147.
link(5,131) :- #0.623.
link(131,5) :- #0.137.
link(5,137) :- #0.067.
link(137,5) :- #0.148.
link(5,147) :- #0.518.
link(147,5) :- #0.68.
link(5,148) :- #0.696.
link(148,5) :- #0.765.
link(6,15) :- #0.129.
link(15,6) :- #0.637.
link(6,20) :- #0.733.
link(20,6) :- #0.325.
link(6,25) :- #0.259.
link(25,6) :- #0.392.
link(6,40) :- #0.356.
link(40,6) :- #0.144.
link(6,67) :- #0.429.
link(67,6) :- #0.574.
link(6,77) :- #0.383.
link(77,6) :- #0.78.
link(6,96) :- #0.818.
link(96,6) :- #0.186.
link(6,99) :- #0.941.
link(99,6) :- #0.585.
link(6,104) :- #0.418.
link(104,6) :- #0.821.
link(6,116) :- #0.93.
link(116,6) :- #0.401.
link(6,139) :- #0.739.
link(139,6) :- #0.481.
link(6,140) :- #0.613.
link(140,6) :- #0.527.
link(7,18) :- #0.601.
link(18,7) :- #0.515.
link(7,21) :- #0.567.
link(21,7) :- #0.244.
link(7,25) :- #0.153.
link(25,7) :- #0.154.
link(7,35) :- #0.457.
link(35,7) :- #0.483.
link(7,49) :- #0.986.
link(49,7) :- #0.584.
link(7,51) :- #0.04.
link(51,7) :- #0.679.
link(7,56) :- #0.776.
link(56,7) :- #0.324.
link(7,65) :- #0.566.
link(65,7) :- #0.27.
link(7,71) :- #0.013.
link(71,7) :- #0.328.
link(7,73) :- #0.055.
link(73,7) :- #0.617.
link(7,91) :- #0.042.
link(91,7) :- #0.686.
link(7,99) :- #0.482.
link(99,7) :- #0.796.
link(7,106) :- #0.575.
link(106,7) :- #0.422.
link(7,132) :- #0.496.
link(132,7) :- #0.665.
link(7,138) :- #0.426.
link(138,7) :- #0.901.
link(7,143) :- #0.464.
link(143,7) :- #0.799.
link(7,144) :- #0.018.
link(144,7) :- #0.845.
link(8,25) :- #0.161.
link(25,8) :- #0.298.
link(8,29) :- #0.119.
link(29,8) :- #0.54.
link(8,47) :- #0.562.
link(47,8) :- #0.631.
link(8,52) :- #0.665.
link(52,8) :- #0.272.
link(8,55) :- #0.941.
link(55,8) :- #0.504.
link(8,62) :- #0.728.
link(62,8) :- #0.283.
link(8,80) :- #0.644.
link(80,8) :- #0.383.
link(8,81) :- #0.04.
link(81,8) :- #0.144.
link(8,92) :- #0.701.
link(92,8) :- #0.683.
link(8,100) :- #0.639.
link(100,8) :- #0.624.
link(8,103) :- #0.319.
link(103,8) :- #0.38.
link(8,114) :- #0.445.
link(114,8) :- #0.236.
link(8,133) :- #0.659.
link(133,8) :- #0.974.
link(8,146) :- #0.956.
link(146,8) :- #0.1.
link(9,24) :- #0.159.
link(24,9) :- #0.379.
link(9,44) :- #0.966.
link(44,9) :- #0.798.
link(9,46) :- #0.706.
link(46,9) :- #0.605.
link(9,53) :- #0.72.
link(53,9) :- #0.167.
link(9,67) :- #0.761.
link(67,9) :- #0.574.
link(9,85) :- #0.307.
link(85,9) :- #0.476.
link(9,92) :- #0.951.
link(92,9) :- #0.287.
link(9,97) :- #0.236.
link(97,9) :- #0.182.
link(9,107) :- #0.965.
link(107,9) :- #0.878.
link(9,130) :- #0.066.
link(130,9) :- #0.073.
link(9,138) :- #0.747.
link(138,9) :- #0.186.
link(9,142) :- #0.872.
link(142,9) :- #0.616.
link(9,143) :- #0.958.
link(143,9) :- #0.791.
link(10,16) :- #0.2.
link(16,10) :- #0.886.
link(10,33) :- #0.597.
link(33,10) :- #0.463.
link(10,47) :- #0.695.
link(47,10) :- #0.531.
link(10,74) :- #0.117.
link(74,10) :- #0.599.
link(10,84) :- #0.451.
link(84,10) :- #0.776.
link(10,104) :- #0.63.
link(104,10) :- #0.979.
link(10,113) :- #0.621.
link(113,10) :- #0.545.
link(10,116) :- #0.17.
link(116,10) :- #0.538.
link(10,120) :- #0.484.
link(120,10) :- #0.369.
link(10,136) :- #0.794.
link(136,10) :- #0.268.
link(11,20) :- #0.574.
link(20,11) :- #0.044.
link(11,30) :- #0.662.
link(30,11) :- #0.064.
link(11,34) :- #0.279.
link(34,11) :- #0.749.
link(11,45) :- #0.495.
link(45,11) :- #0.524.
link(11,48) :- #0.284.
link(48,11) :- #0.096.
link(11,49) :- #0.765.
link(49,11) :- #0.312.
link(11,53) :- #0.129.
link(53,11) :- #0.847.
link(11,56) :- #0.223.
link(56,11) :- #0.979.
link(11,60) :- #0.979.
link(60,11) :- #0.634.
link(11,61) :- #0.217.
link(61,11) :- #0.403.
link(11,66) :- #0.225.
link(66,11) :- #0.219.
link(11,84) :- #0.568.
link(84,11) :- #0.69.
link(11,88) :- #0.173.
link(88,11) :- #0.762.
link(11,89) :- #0.494.
link(89,11) :- #0.275.
link(11,99) :- #0.38.
link(99,11) :- #0.322.
link(11,100) :- #0.136.
link(100,11) :- #0.476.
link(11,123) :- #0.186.
link(123,11) :- #0.669.
link(11,132) :- #0.41.
link(132,11) :- #0.323.
link(12,17) :- #0.934.
link(17,12) :- #0.474.
link(12,29) :- #0.115.
link(29,12) :- #0.456.
link(12,31) :- #0.802.
link(31,12) :- #0.523.
link(12,33) :- #0.968.
link(33,12) :- #0.237.
link(12,57) :- #0.245.
link(57,12) :- #0.603.
link(12,72) :- #0.599.
link(72,12) :- #0.414.
link(12,75) :- #0.698.
link(75,12) :- #0.883.
link(12,79) :- #0.663.
link(79,12) :- #0.088.
link(12,80) :- #0.454.
link(80,12) :- #0.602.
link(12,93) :- #0.34.
link(93,12) :- #0.981.
link(12,99) :- #0.891.
link(99,12) :- #0.635.
link(12,100) :- #0.42.
link(100,12) :- #0.888.
link(12,112) :- #0.432.
link(112,12) :- #0.538.
link(12,123) :- #0.305.
link(123,12) :- #0.482.
link(12,133) :- #0.457.
link(133,12) :- #0.175.
link(12,134) :- #0.009.
link(134,12) :- #0.553.
link(12,141) :- #0.88.
link(141,12) :- #0.249.
link(12,150) :- #0.256.
link(150,12) :- #0.111.
link(13,14) :- #0.213.
link(14,13) :- #0.601.
link(13,19) :- #0.073.
link(19,13) :- #0.466.
link(13,24) :- #0.583.
link(24,13) :- #0.862.
link(13,25) :- #0.583.
link(25,13) :- #0.005.
link(13,36) :- #0.896.
link(36,13) :- #0.95.
link(13,51) :- #0.907.
link(51,13) :- #0.578.
link(13,76) :- #0.715.
link(76,13) :- #0.627.
link(13,86) :- #0.812.
link(86,13) :- #0.698.
link(13,94) :- #0.583.
link(94,13) :- #0.113.
link(13,97) :- #0.7.
link(97,13) :- #0.315.
link(13,102) :- #0.928.
link(102,13) :- #0.987.
link(13,111) :- #0.503.
link(111,13) :- #0.379.
link(13,113) :- #0.766.
link(113,13) :- #0.918.
link(13,119) :- #0.266.
link(119,13) :- #0.394.
link(13,124) :- #0.656.
link(124,13) :- #0.25.
link(14,25) :- #0.766.
link(25,14) :- #0.351.
link(14,31) :- #0.554.
link(31,14) :- #0.996.
link(14,39) :- #0.218.
link(39,14) :- #0.005.
link(14,43) :- #0.719.
link(43,14) :- #0.349.
link(14,46) :- #0.227.
link(46,14) :- #0.115.
link(14,48) :- #0.892.
link(48,14) :- #0.505.
link(14,52) :- #0.119.
link(52,14) :- #0.726.
link(14,54) :- #0.829.
link(54,14) :- #0.104.
link(14,80) :- #0.108.
link(80,14) :- #0.513.
link(14,90) :- #0.606.
link(90,14) :- #0.44.
link(14,92) :- #0.388.
link(92,14) :- #0.974.
link(14,113) :- #0.059.
link(113,14) :- #0.161.
link(14,144) :- #0.996.
link(144,14) :- #0.476.
link(14,145) :- #0.306.
link(145,14) :- #0.294.
link(15,19) :- #0.679.
link(19,15) :- #0.743.
link(15,28) :- #0.677.
link(28,15) :- #0.243.
link(15,36) :- #0.023.
link(36,15) :- #0.979.
link(15,48) :- #0.884.
link(48,15) :- #0.06.
link(15,63) :- #0.948.
link(63,15) :- #0.876.
link(15,70) :- #0.987.
link(70,15) :- #0.652.
link(15,108) :- #0.398.
link(108,15) :- #0.976.
link(15,110) :- #0.42.
link(110,15) :- #0.145.
link(15,126) :- #0.707.
link(126,15) :- #0.161.
link(15,135) :- #0.019.
link(135,15) :- #0.021.
link(15,139) :- #0.687.
link(139,15) :- #0.241.
link(15,140) :- #0.787.
link(140,15) :- #0.563.
link(15,142) :- #0.777.
link(142,15) :- #0.067.
link(15,147) :- #0.932.
link(147,15) :- #0.156.
link(16,19) :- #0.806.
link(19,16) :- #0.227.
link(16,23) :- #0.167.
link(23,16) :- #0.92.
link(16,26) :- #0.421.
link(26,16) :- #0.048.
link(16,61) :- #0.998.
link(61,16) :- #0.436.
link(16,67) :- #0.391.
link(67,16) :- #0.293.
link(16,72) :- #0.957.
link(72,16) :- #0.06.
link(16,75) :- #0.909.
link(75,16) :- #0.943.
link(16,86) :- #0.907.
link(86,16) :- #0.646.
link(16,103) :- #0.149.
link(103,16) :- #0.913.
link(16,109) :- #0.29.
link(109,16) :- #0.951.
link(16,110) :- #0.391.
link(110,16) :- #0.166.
link(16,130) :- #0.911.
link(130,16) :- #0.31.
link(16,136) :- #0.79.
link(136,16) :- #0.758.
link(16,137) :- #0.472.
link(137,16) :- #0.304.
link(17,18) :- #0.488.
link(18,17) :- #0.045.
link(17,19) :- #0.038.
link(19,17) :- #0.553.
link(17,21) :- #0.381.
link(21,17) :- #0.869.
link(17,76) :- #0.197.
link(76,17) :- #0.689.
link(17,89) :- #0.128.
link(89,17) :- #0.897.
link(17,110) :- #0.168.
link(110,17) :- #0.278.
link(17,130) :- #0.274.
link(130,17) :- #0.493.
link(17,137) :- #0.286.
link(137,17) :- #0.404.
link(17,138) :- #0.983.
link(138,17) :- #0.144.
link(18,42) :- #0.318.
link(42,18) :- #0.977.
link(18,46) :- #0.324.
link(46,18) :- #0.538.
link(18,54) :- #0.067.
link(54,18) :- #0.169.
link(18,58) :- #0.328.
link(58,18) :- #0.09.
link(18,63) :- #0.854.
link(63,18) :- #0.802.
link(18,70) :- #0.74.
link(70,18) :- #0.019.
link(18,88) :- #0.228.
link(88,18) :- #0.776.
link(18,95) :- #0.258.
link(95,18) :- #0.733.
link(18,105) :- #0.674.
link(105,18) :- #0.629.
link(18,116) :- #0.756.
link(116,18) :- #0.298.
link(18,117) :- #0.127.
link(117,18) :- #0.211.
link(18,137) :- #0.98.
link(137,18) :- #0.378.
link(19,20) :- #0.651.
link(20,19) :- #0.698.
link(19,33) :- #0.291.
link(33,19) :- #0.433.
link(19,37) :- #0.102.
link(37,19) :- #0.384.
link(19,75) :- #0.331.
link(75,19) :- #0.63.
link(19,127) :- #0.724.
link(127,19) :- #0.112.
link(19,130) :- #0.901.
link(130,19) :- #0.417.
link(19,135) :- #0.272.
link(135,19) :- #0.529.
link(19,148) :- #0.782.
link(148,19) :- #0.795.
link(20,32) :- #0.083.
link(32,20) :- #0.874.
link(20,37) :- #0.614.
link(37,20) :- #0.665.
link(20,38) :- #0.689.
link(38,20) :- #0.559.
link(20,52) :- #0.884.
link(52,20) :- #0.617.
link(20,74) :- #0.832.
link(74,20) :- #0.379.
link(20,77) :- #0.708.
link(77,20) :- #0.65.
link(20,80) :- #0.469.
link(80,20) :- #0.128.
link(20,101) :- #0.591.
link(101,20) :- #0.743.
link(20,112) :- #0.348.
link(112,20) :- #0.284.
link(20,114) :- #0.071.
link(114,20) :- #0.215.
link(20,121) :- #0.711.
link(121,20) :- #0.909.
link(20,124) :- #0.879.
link(124,20) :- #0.322.
link(20,126) :- #0.334.
link(126,20) :- #0.464.
link(20,128) :- #0.572.
link(128,20) :- #0.707.
link(21,27) :- #0.598.
link(27,21) :- #0.686.
link(21,35) :- #0.85.
link(35,21) :- #0.644.
link(21,42) :- #0.207.
link(42,21) :- #0.287.
link(21,52) :- #0.772.
link(52,21) :- #0.742.
link(21,60) :- #0.044.
link(60,21) :- #0.132.
link(21,73) :- #0.853.
link(73,21) :- #0.784.
link(21,76) :- #0.03.
link(76,21) :- #0.853.
link(21,88) :- #0.387.
link(88,21) :- #0.123.
link(21,98) :- #0.68.
link(98,21) :- #0.805.
link(21,99) :- #0.199.
link(99,21) :- #0.834.
link(21,105) :- #0.682.
link(105,21) :- #0.907.
link(21,118) :- #0.143.
link(118,21) :- #0.143.
link(21,122) :- #0.742.
link(122,21) :- #0.75.
link(21,139) :- #0.715.
link(139,21) :- #0.372.
link(21,146) :- #0.325.
link(146,21) :- #0.067.
link(22,25) :- #0.067.
link(25,22) :- #0.269.
link(22,29) :- #0.649.
link(29,22) :- #0.294.
link(22,41) :- #0.74.
link(41,22) :- #0.513.
link(22,43) :- #0.534.
link(43,22) :- #0.713.
link(22,46) :- #0.758.
link(46,22) :- #0.
link(22,64) :- #0.669.
link(64,22) :- #0.051.
link(22,67) :- #0.148.
link(67,22) :- #0.035.
link(22,71) :- #0.616.
link(71,22) :- #0.318.
link(22,85) :- #0.949.
link(85,22) :- #0.506.
link(22,102) :- #0.1.
link(102,22) :- #0.91.
link(22,111) :- #0.649.
link(111,22) :- #0.818.
link(22,143) :- #0.781.
link(143,22) :- #0.279.
link(23,29) :- #0.461.
link(29,23) :- #0.511.
link(23,41) :- #0.789.
link(41,23) :- #0.785.
link(23,44) :- #0.922.
link(44,23) :- #0.036.
link(23,47) :- #0.801.
link(47,23) :- #0.337.
link(23,56) :- #0.706.
link(56,23) :- #0.753.
link(23,62) :- #0.698.
link(62,23) :- #0.201.
link(23,80) :- #0.095.
link(80,23) :- #0.35.
link(23,103) :- #0.723.
link(103,23) :- #0.462.
link(23,112) :- #0.049.
link(112,23) :- #0.305.
link(23,120) :- #0.41.
link(120,23) :- #0.385.
link(23,135) :- #0.726.
link(135,23) :- #0.645.
link(23,137) :- #0.015.
link(137,23) :- #0.72.
link(24,42) :- #0.668.
link(42,24) :- #0.942.
link(24,43) :- #0.154.
link(43,24) :- #0.365.
link(24,45) :- #0.686.
link(45,24) :- #0.69.
link(24,51) :- #0.232.
link(51,24) :- #0.962.
link(24,66) :- #0.023.
link(66,24) :- #0.748.
link(24,72) :- #0.95.
link(72,24) :- #0.755.
link(24,73) :- #0.33.
link(73,24) :- #0.457.
link(24,103) :- #0.961.
link(103,24) :- #0.382.
link(24,106) :- #0.702.
link(106,24) :- #0.155.
link(24,110) :- #0.964.
link(110,24) :- #0.289.
link(24,116) :- #0.872.
link(116,24) :- #0.762.
link(24,127) :- #0.275.
link(127,24) :- #0.889.
link(24,144) :- #0.187.
link(144,24) :- #0.64.
link(25,38) :- #0.
link(38,25) :- #0.911.
link(25,42) :- #0.174.
link(42,25) :- #0.292.
link(25,48) :- #0.444.
link(48,25) :- #0.981.
link(25,49) :- #0.039.
link(49,25) :- #0.404.
link(25,101) :- #0.327.
link(101,25) :- #0.176.
link(25,104) :- #0.045.
link(104,25) :- #0.067.
link(25,106) :- #0.926.
link(106,25) :- #0.31.
link(25,107) :- #0.117.
link(107,25) :- #0.41.
link(25,117) :- #0.759.
link(117,25) :- #0.011.
link(25,126) :- #0.702.
link(126,25) :- #0.86.
link(25,127) :- #0.978.
link(127,25) :- #0.392.
link(25,143) :- #0.693.
link(143,25) :- #0.346.
link(26,38) :- #0.912.
link(38,26) :- #0.422.
link(26,69) :- #0.266.
link(69,26) :- #0.139.
link(26,81) :- #0.346.
link(81,26) :- #0.998.
link(26,84) :- #0.757.
link(84,26) :- #0.208.
link(26,93) :- #0.129.
link(93,26) :- #0.554.
link(26,99) :- #0.04.
link(99,26) :- #0.639.
link(26,105) :- #0.576.
link(105,26) :- #0.599.
link(26,130) :- #0.371.
link(130,26) :- #0.405.
link(26,142) :- #0.413.
link(142,26) :- #0.645.
link(26,149) :- #0.839.
link(149,26) :- #0.767.
link(27,50) :- #0.472.
link(50,27) :- #0.858.
link(27,68) :- #0.674.
link(68,27) :- #0.512.
link(27,78) :- #0.017.
link(78,27) :- #0.781.
link(27,79) :- #0.833.
link(79,27) :- #0.653.
link(27,85) :- #0.082.
link(85,27) :- #0.584.
link(27,86) :- #0.014.
link(86,27) :- #0.077.
link(27,91) :- #0.062.
link(91,27) :- #0.041.
link(27,92) :- #0.192.
link(92,27) :- #0.813.
link(27,93) :- #0.402.
link(93,27) :- #0.742.
link(27,112) :- #0.737.
link(112,27) :- #0.128.
link(27,136) :- #0.658.
link(136,27) :- #0.585.
link(27,142) :- #0.339.
link(142,27) :- #0.086.
link(27,147) :- #0.668.
link(147,27) :- #0.072.
link(27,150) :- #0.365.
link(150,27) :- #0.417.
link(28,58) :- #0.52.
link(58,28) :- #0.46.
link(28,62) :- #0.755.
link(62,28) :- #0.679.
link(28,65) :- #0.712.
link(65,28) :- #0.65.
link(28,71) :- #0.235.
link(71,28) :- #0.719.
link(28,83) :- #0.005.
link(83,28) :- #0.425.
link(28,103) :- #0.091.
link(103,28) :- #0.943.
link(28,111) :- #0.349.
link(111,28) :- #0.225.
link(28,133) :- #0.21.
link(133,28) :- #0.95.
link(28,148) :- #0.832.
link(148,28) :- #0.878.
link(28,150) :- #0.816.
link(150,28) :- #0.754.
link(29,48) :- #0.201.
link(48,29) :- #0.505.
link(29,69) :- #0.712.
link(69,29) :- #0.233.
link(29,80) :- #0.473.
link(80,29) :- #0.075.
link(29,101) :- #0.738.
link(101,29) :- #0.171.
link(29,130) :- #0.639.
link(130,29) :- #0.634.
link(29,131) :- #0.183.
link(131,29) :- #0.527.
link(29,133) :- #0.361.
link(133,29) :- #0.163.
link(29,147) :- #0.541.
link(147,29) :- #0.402.
link(30,60) :- #0.797.
link(60,30) :- #0.009.
link(30,92) :- #0.031.
link(92,30) :- #0.873.
link(30,99) :- #0.61.
link(99,30) :- #0.205.
link(30,105) :- #0.868.
link(105,30) :- #0.96.
link(30,106) :- #0.699.
link(106,30) :- #0.209.
link(30,120) :- #0.285.
link(120,30) :- #0.868.
link(30,131) :- #0.89.
link(131,30) :- #0.302.
link(30,141) :- #0.63.
link(141,30) :- #0.297.
link(30,145) :- #0.607.
link(145,30) :- #0.279.
link(31,58) :- #0.445.
link(58,31) :- #0.464.
link(31,63) :- #0.483.
link(63,31) :- #0.101.
link(31,68) :- #0.913.
link(68,31) :- #0.14.
link(31,81) :- #0.609.
link(81,31) :- #0.808.
link(31,109) :- #0.504.
link(109,31) :- #0.803.
link(31,113) :- #0.302.
link(113,31) :- #0.497.
link(31,118) :- #0.303.
link(118,31) :- #0.19.
link(31,129) :- #0.363.
link(129,31) :- #0.247.
link(31,149) :- #0.679.
link(149,31) :- #0.378.
link(32,33) :- #0.828.
link(33,32) :- #0.056.
link(32,45) :- #0.466.
link(45,32) :- #0.888.
link(32,49) :- #0.602.
link(49,32) :- #0.711.
link(32,63) :- #0.19.
link(63,32) :- #0.457.
link(32,66) :- #0.529.
link(66,32) :- #0.792.
link(32,71) :- #0.587.
link(71,32) :- #0.409.
link(32,74) :- #0.737.
link(74,32) :- #0.04.
link(32,75) :- #0.318.
link(75,32) :- #0.362.
link(32,103) :- #0.272.
link(103,32) :- #0.204.
link(32,128) :- #0.583.
link(128,32) :- #0.169.
link(32,130) :- #0.398.
link(130,32) :- #0.278.
link(32,133) :- #0.069.
link(133,32) :- #0.893.
link(32,146) :- #0.684.
link(146,32) :- #0.134.
link(33,35) :- #0.097.
link(35,33) :- #0.665.
link(33,52) :- #0.277.
link(52,33) :- #0.82.
link(33,61) :- #0.988.
link(61,33) :- #0.926.
link(33,62) :- #0.174.
link(62,33) :- #0.858.
link(33,73) :- #0.911.
link(73,33) :- #0.612.
link(33,102) :- #0.986.
link(102,33) :- #0.401.
link(33,118) :- #0.05.
link(118,33) :- #0.957.
link(33,122) :- #0.562.
link(122,33) :- #0.042.
link(33,129) :- #0.782.
link(129,33) :- #0.986.
link(33,132) :- #0.941.
link(132,33) :- #0.801.
link(34,50) :- #0.132.
link(50,34) :- #0.156.
link(34,64) :- #0.884.
link(64,34) :- #0.603.
link(34,70) :- #0.721.
link(70,34) :- #0.758.
link(34,80) :- #0.473.
link(80,34) :- #0.577.
link(34,85) :- #0.214.
link(85,34) :- #0.337.
link(34,86) :- #0.92.
link(86,34) :- #0.278.
link(34,100) :- #0.327.
link(100,34) :- #0.826.
link(34,106) :- #0.473.
link(106,34) :- #0.418.
link(34,113) :- #0.377.
link(113,34) :- #0.074.
link(34,118) :- #0.477.
link(118,34) :- #0.715.
link(34,119) :- #0.18.
link(119,34) :- #0.873.
link(34,121) :- #0.861.
link(121,34) :- #0.728.
link(34,137) :- #0.628.
link(137,34) :- #0.087.
link(34,138) :- #0.237.
link(138,34) :- #0.193.
link(34,145) :- #0.185.
link(145,34) :- #0.691.
link(34,150) :- #0.112.
link(150,34) :- #0.87.
link(35,49) :- #0.773.
link(49,35) :- #0.951.
link(35,63) :- #0.258.
link(63,35) :- #0.662.
link(35,69) :- #0.439.
link(69,35) :- #0.771.
link(35,72) :- #0.863.
link(72,35) :- #0.087.
link(35,80) :- #0.889.
link(80,35) :- #0.112.
link(35,82) :- #0.85.
link(82,35) :- #0.651.
link(35,84) :- #0.435.
link(84,35) :- #0.833.
link(35,90) :- #0.362.
link(90,35) :- #0.506.
link(35,104) :- #0.416.
link(104,35) :- #0.165.
link(35,107) :- #0.582.
link(107,35) :- #0.739.
link(35,109) :- #0.372.
link(109,35) :- #0.329.
link(35,129) :- #0.138.
link(129,35) :- #0.768.
link(35,132) :- #0.527.
link(132,35) :- #0.386.
link(35,135) :- #0.668.
link(135,35) :- #0.694.
link(35,137) :- #0.923.
link(137,35) :- #0.824.
link(35,140) :- #0.828.
link(140,35) :- #0.79.
link(35,144) :- #0.239.
link(144,35) :- #0.515.
link(36,42) :- #0.81.
link(42,36) :- #0.114.
link(36,43) :- #0.052.
link(43,36) :- #0.646.
link(36,46) :- #0.522.
link(46,36) :- #0.86.
link(36,48) :- #0.672.
link(48,36) :- #0.889.
link(36,61) :- #0.873.
link(61,36) :- #0.356.
link(36,73) :- #0.401.
link(73,36) :- #0.093.
link(36,74) :- #0.333.
link(74,36) :- #0.796.
link(36,75) :- #0.966.
link(75,36) :- #0.101.
link(36,83) :- #0.429.
link(83,36) :- #0.831.
link(36,86) :- #0.288.
link(86,36) :- #0.032.
link(36,89) :- #0.167.
link(89,36) :- #0.14.
link(36,92) :- #0.631.
link(92,36) :- #0.523.
link(36,94) :- #0.291.
link(94,36) :- #0.291.
link(36,106) :- #0.613.
link(106,36) :- #0.725.
link(36,114) :- #0.83.
link(114,36) :- #0.477.
link(36,121) :- #0.53.
link(121,36) :- #0.157.
link(36,123) :- #0.653.
link(123,36) :- #0.535.
link(36,124) :- #0.812.
link(124,36) :- #0.264.
link(36,141) :- #0.654.
link(141,36) :- #0.756.
link(37,52) :- #0.261.
link(52,37) :- #0.52.
link(37,63) :- #0.352.
link(63,37) :- #0.117.
link(37,69) :- #0.539.
link(69,37) :- #0.107.
link(37,83) :- #0.827.
link(83,37) :- #0.166.
link(37,88) :- #0.442.
link(88,37) :- #0.461.
link(37,104) :- #0.045.
link(104,37) :- #0.977.
link(37,108) :- #0.945.
link(108,37) :- #0.813.
link(37,112) :- #0.476.
link(112,37) :- #0.485.
link(37,114) :- #0.288.
link(114,37) :- #0.079.
link(37,115) :- #0.833.
link(115,37) :- #0.646.
link(37,121) :- #0.252.
link(121,37) :- #0.215.
link(37,125) :- #0.326.
link(125,37) :- #0.043.
link(37,126) :- #0.907.
link(126,37) :- #0.209.
link(37,128) :- #0.967.
link(128,37) :- #0.571.
link(37,145) :- #0.824.
link(145,37) :- #0.971.
link(37,149) :- #0.492.
link(149,37) :- #0.393.
link(38,39) :- #0.965.
link(39,38) :- #0.249.
link(38,44) :- #0.778.
link(44,38) :- #0.401.
link(38,56) :- #0.096.
link(56,38) :- #0.627.
link(38,65) :- #0.503.
link(65,38) :- #0.524.
link(38,75) :- #0.688.
link(75,38) :- #0.468.
link(38,77) :- #0.914.
link(77,38) :- #0.537.
link(38,92) :- #0.519.
link(92,38) :- #0.075.
link(38,96) :- #0.213.
link(96,38) :- #0.019.
link(38,111) :- #0.721.
link(111,38) :- #0.307.
link(38,145) :- #0.307.
link(145,38) :- #0.088.
link(38,146) :- #0.147.
link(146,38) :- #0.573.
link(39,55) :- #0.632.
link(55,39) :- #0.818.
link(39,57) :- #0.004.
link(57,39) :- #0.605.
link(39,74) :- #0.011.
link(74,39) :- #0.426.
link(39,94) :- #0.633.
link(94,39) :- #0.272.
link(39,109) :- #0.039.
link(109,39) :- #0.414.
link(39,130) :- #0.675.
link(130,39) :- #0.136.
link(39,132) :- #0.211.
link(132,39) :- #0.921.
link(39,141) :- #0.149.
link(141,39) :- #0.58.
link(40,41) :- #0.975.
link(41,40) :- #0.103.
link(40,48) :- #0.962.
link(48,40) :- #0.302.
link(40,60) :- #0.257.
link(60,40) :- #0.045.
link(40,63) :- #0.203.
link(63,40) :- #0.503.
link(40,71) :- #0.807.
link(71,40) :- #0.642.
link(40,74) :- #0.189.
link(74,40) :- #0.356.
link(40,108) :- #0.524.
link(108,40) :- #0.984.
link(40,110) :- #0.405.
link(110,40) :- #0.546.
link(40,111) :- #0.641.
link(111,40) :- #0.056.
link(40,117) :- #0.312.
link(117,40) :- #0.054.
link(40,127) :- #0.281.
link(127,40) :- #0.093.
link(40,131) :- #0.991.
link(131,40) :- #0.674.
link(40,138) :- #0.261.
link(138,40) :- #0.579.
link(41,43) :- #0.828.
link(43,41) :- #0.214.
link(41,49) :- #0.493.
link(49,41) :- #0.008.
link(41,74) :- #0.304.
link(74,41) :- #0.287.
link(41,84) :- #0.64.
link(84,41) :- #0.707.
link(41,99) :- #0.535.
link(99,41) :- #0.262.
link(41,102) :- #0.694.
link(102,41) :- #0.009.
link(41,112) :- #0.501.
link(112,41) :- #0.172.
link(41,114) :- #0.321.
link(114,41) :- #0.125.
link(41,117) :- #0.382.
link(117,41) :- #0.479.
link(41,123) :- #0.622.
link(123,41) :- #0.251.
link(41,142) :- #0.468.
link(142,41) :- #0.896.
link(41,145) :- #0.629.
link(145,41) :- #0.837.
link(42,50) :- #0.526.
link(50,42) :- #0.315.
link(42,74) :- #0.31.
link(74,42) :- #0.85.
link(42,75) :- #0.296.
link(75,42) :- #0.196.
link(42,76) :- #0.238.
link(76,42) :- #0.16.
link(42,81) :- #0.857.
link(81,42) :- #0.863.
link(42,83) :- #0.719.
link(83,42) :- #0.375.
link(42,85) :- #0.699.
link(85,42) :- #0.462.
link(42,86) :- #0.085.
link(86,42) :- #0.394.
link(42,96) :- #0.411.
link(96,42) :- #0.276.
link(42,101) :- #0.806.
link(101,42) :- #0.217.
link(42,109) :- #0.446.
link(109,42) :- #0.577.
link(42,124) :- #0.027.
link(124,42) :- #0.852.
link(42,131) :- #0.549.
link(131,42) :- #0.701.
link(42,142) :- #0.116.
link(142,42) :- #0.486.
link(43,47) :- #0.205.
link(47,43) :- #0.979.
link(43,53) :- #0.889.
link(53,43) :- #0.657.
link(43,56) :- #0.248.
link(56,43) :- #0.066.
link(43,58) :- #0.615.
link(58,43) :- #0.505.
link(43,79) :- #0.208.
link(79,43) :- #0.036.
link(43,103) :- #0.772.
link(103,43) :- #0.161.
link(43,118) :- #0.631.
link(118,43) :- #0.909.
link(43,123) :- #0.492.
link(123,43) :- #0.748.
link(43,147) :- #0.801.
link(147,43) :- #0.5.
link(44,51) :- #0.572.
link(51,44) :- #0.102.
link(44,52) :- #0.646.
link(52,44) :- #0.258.
link(44,62) :- #0.094.
link(62,44) :- #0.047.
link(44,69) :- #0.236.
link(69,44) :- #0.069.
link(44,76) :- #0.675.
link(76,44) :- #0.636.
link(44,90) :- #0.87.
link(90,44) :- #0.47.
link(44,95) :- #0.972.
link(95,44) :- #0.23.
link(44,96) :- #0.044.
link(96,44) :- #0.863.
link(44,98) :- #0.696.
link(98,44) :- #0.216.
link(44,101) :- #0.56.
link(101,44) :- #0.873.
link(44,102) :- #0.288.
link(102,44) :- #0.891.
link(44,114) :- #0.943.
link(114,44) :- #0.901.
link(44,116) :- #0.957.
link(116,44) :- #0.855.
link(44,130) :- #0.383.
link(130,44) :- #0.946.
link(44,143) :- #0.436.
link(143,44) :- #0.888.
link(45,46) :- #0.511.
link(46,45) :- #0.546.
link(45,48) :- #0.114.
link(48,45) :- #0.714.
link(45,54) :- #0.791.
link(54,45) :- #0.809.
link(45,56) :- #0.823.
link(56,45) :- #0.282.
link(45,64) :- #0.806.
link(64,45) :- #0.2.
link(45,70) :- #0.979.
link(70,45) :- #0.1.
link(45,84) :- #0.57.
link(84,45) :- #0.777.
link(45,108) :- #0.194.
link(108,45) :- #0.863.
link(45,120) :- #0.67.
link(120,45) :- #0.477.
link(45,133) :- #0.109.
link(133,45) :- #0.889.
link(45,136) :- #0.957.
link(136,45) :- #0.757.
link(45,137) :- #0.733.
link(137,45) :- #0.12.
link(45,148) :- #0.738.
link(148,45) :- #0.492.
link(46,49) :- #0.197.
link(49,46) :- #0.13.
link(46,56) :- #0.624.
link(56,46) :- #0.373.
link(46,58) :- #0.484.
link(58,46) :- #0.479.
link(46,65) :- #0.065.
link(65,46) :- #0.854.
link(46,69) :- #0.624.
link(69,46) :- #0.068.
link(46,81) :- #0.949.
link(81,46) :- #0.775.
link(46,92) :- #0.277.
link(92,46) :- #0.922.
link(46,97) :- #0.82.
link(97,46) :- #0.475.
link(46,108) :- #0.803.
link(108,46) :- #0.122.
link(46,110) :- #0.259.
link(110,46) :- #0.244.
link(46,138) :- #0.434.
link(138,46) :- #0.623.
link(47,49) :- #0.757.
link(49,47) :- #0.302.
link(47,51) :- #0.101.
link(51,47) :- #0.393.
link(47,52) :- #0.149.
link(52,47) :- #0.855.
link(47,62) :- #0.042.
link(62,47) :- #0.091.
link(47,79) :- #0.
link(79,47) :- #0.655.
link(47,102) :- #0.188.
link(102,47) :- #0.16.
link(47,111) :- #0.547.
link(111,47) :- #0.672.
link(47,128) :- #0.438.
link(128,47) :- #0.404.
link(48,54) :- #0.237.
link(54,48) :- #0.927.
link(48,57) :- #0.649.
link(57,48) :- #0.405.
link(48,67) :- #0.934.
link(67,48) :- #0.145.
link(48,73) :- #0.887.
link(73,48) :- #0.51.
link(48,74) :- #0.588.
link(74,48) :- #0.024.
link(48,77) :- #0.56.
link(77,48) :- #0.847.
link(48,101) :- #0.022.
link(101,48) :- #0.694.
link(48,104) :- #0.118.
link(104,48) :- #0.256.
link(48,113) :- #0.265.
link(113,48) :- #0.088.
link(48,119) :- #0.525.
link(119,48) :- #0.146.
link(48,137) :- #0.216.
link(137,48) :- #0.684.
link(48,140) :- #0.521.
link(140,48) :- #0.752.
link(48,148) :- #0.618.
link(148,48) :- #0.69.
link(49,52) :- #0.357.
link(52,49) :- #0.89.
link(49,79) :- #0.421.
link(79,49) :- #0.383.
link(49,84) :- #0.288.
link(84,49) :- #0.897.
link(49,85) :- #0.344.
link(85,49) :- #0.945.
link(49,113) :- #0.19.
link(113,49) :- #0.76.
link(49,143) :- #0.06.
link(143,49) :- #0.795.
link(50,51) :- #0.774.
link(51,50) :- #0.453.
link(50,71) :- #0.417.
link(71,50) :- #0.677.
link(50,74) :- #0.309.
link(74,50) :- #0.77.
link(50,78) :- #0.742.
link(78,50) :- #0.686.
link(50,84) :- #0.602.
link(84,50) :- #0.798.
link(50,141) :- #0.781.
link(141,50) :- #0.113.
link(50,149) :- #0.403.
link(149,50) :- #0.813.
link(51,61) :- #0.636.
link(61,51) :- #0.498.
link(51,68) :- #0.86.
link(68,51) :- #0.61.
link(51,72) :- #0.965.
link(72,51) :- #0.318.
link(51,78) :- #0.252.
link(78,51) :- #0.83.
link(51,87) :- #0.47.
link(87,51) :- #0.327.
link(51,91) :- #0.816.
link(91,51) :- #0.076.
link(51,136) :- #0.551.
link(136,51) :- #0.975.
link(51,138) :- #0.1.
link(138,51) :- #0.797.
link(52,57) :- #0.027.
link(57,52) :- #0.589.
link(52,58) :- #0.175.
link(58,52) :- #0.856.
link(52,61) :- #0.874.
link(61,52) :- #0.946.
link(52,63) :- #0.074.
link(63,52) :- #0.381.
link(52,73) :- #0.162.
link(73,52) :- #0.526.
link(52,91) :- #0.831.
link(91,52) :- #0.977.
link(52,95) :- #0.41.
link(95,52) :- #0.476.
link(52,97) :- #0.06.
link(97,52) :- #0.553.
link(52,98) :- #0.668.
link(98,52) :- #0.246.
link(52,110) :- #0.445.
link(110,52) :- #0.001.
link(52,111) :- #0.066.
link(111,52) :- #0.81.
link(52,125) :- #0.395.
link(125,52) :- #0.679.
link(52,134) :- #0.742.
link(134,52) :- #0.535.
link(53,66) :- #0.953.
link(66,53) :- #0.346.
link(53,68) :- #0.975.
link(68,53) :- #0.47.
link(53,71) :- #0.564.
link(71,53) :- #0.579.
link(53,73) :- #0.429.
link(73,53) :- #0.315.
link(53,80) :- #0.264.
link(80,53) :- #0.35.
link(53,101) :- #0.488.
link(101,53) :- #0.425.
link(53,138) :- #0.852.
link(138,53) :- #0.872.
link(53,139) :- #0.186.
link(139,53) :- #0.25.
link(54,58) :- #0.031.
link(58,54) :- #0.757.
link(54,60) :- #0.719.
link(60,54) :- #0.922.
link(54,80) :- #0.579.
link(80,54) :- #0.443.
link(54,96) :- #0.61.
link(96,54) :- #0.625.
link(54,98) :- #0.318.
link(98,54) :- #0.616.
link(54,100) :- #0.443.
link(100,54) :- #0.778.
link(54,101) :- #0.091.
link(101,54) :- #0.251.
link(54,127) :- #0.467.
link(127,54) :- #0.402.
link(54,135) :- #0.419.
link(135,54) :- #0.199.
link(54,140) :- #0.093.
link(140,54) :- #0.551.
link(55,102) :- #0.161.
link(102,55) :- #0.784.
link(55,128) :- #0.378.
link(128,55) :- #0.985.
link(55,133) :- #0.871.
link(133,55) :- #0.431.
link(55,134) :- #0.368.
link(134,55) :- #0.098.
link(55,141) :- #0.844.
link(141,55) :- #0.422.
link(56,66) :- #0.917.
link(66,56) :- #0.077.
link(56,70) :- #0.916.
link(70,56) :- #0.499.
link(56,76) :- #0.232.
link(76,56) :- #0.707.
link(56,79) :- #0.097.
link(79,56) :- #0.607.
link(56,88) :- #0.405.
link(88,56) :- #0.733.
link(56,100) :- #0.276.
link(100,56) :- #0.77.
link(56,107) :- #0.142.
link(107,56) :- #0.123.
link(56,115) :- #0.69.
link(115,56) :- #0.229.
link(56,131) :- #0.4.
link(131,56) :- #0.573.
link(56,135) :- #0.128.
link(135,56) :- #0.87.
link(56,139) :- #0.949.
link(139,56) :- #0.573.
link(56,142) :- #0.01.
link(142,56) :- #0.863.
link(56,145) :- #0.731.
link(145,56) :- #0.963.
link(56,148) :- #0.597.
link(148,56) :- #0.799.
link(56,150) :- #0.257.
link(150,56) :- #0.053.
link(57,66) :- #0.38.
link(66,57) :- #0.539.
link(57,70) :- #0.934.
link(70,57) :- #0.843.
link(57,74) :- #0.914.
link(74,57) :- #0.258.
link(57,79) :- #0.975.
link(79,57) :- #0.991.
link(57,101) :- #0.422.
link(101,57) :- #0.526.
link(57,102) :- #0.123.
link(102,57) :- #0.816.
link(57,112) :- #0.62.
link(112,57) :- #0.941.
link(58,59) :- #0.429.
link(59,58) :- #0.644.
link(58,72) :- #0.814.
link(72,58) :- #0.228.
link(58,78) :- #0.66.
link(78,58) :- #0.04.
link(58,79) :- #0.856.
link(79,58) :- #0.393.
link(58,86) :- #0.66.
link(86,58) :- #0.48.
link(58,91) :- #0.499.
link(91,58) :- #0.638.
link(58,99) :- #0.442.
link(99,58) :- #0.457.
link(58,112) :- #0.816.
link(112,58) :- #0.205.
link(58,114) :- #0.498.
link(114,58) :- #0.11.
link(58,131) :- #0.063.
link(131,58) :- #0.972.
link(58,142) :- #0.307.
link(142,58) :- #0.896.
link(58,147) :- #0.911.
link(147,58) :- #0.706.
link(59,67) :- #0.572.
link(67,59) :- #0.276.
link(59,69) :- #0.494.
link(69,59) :- #0.051.
link(59,80) :- #0.801.
link(80,59) :- #0.62.
link(59,83) :- #0.047.
link(83,59) :- #0.045.
link(59,109) :- #0.664.
link(109,59) :- #0.807.
link(59,129) :- #0.029.
link(129,59) :- #0.681.
link(59,142) :- #0.544.
link(142,59) :- #0.969.
link(60,64) :- #0.689.
link(64,60) :- #0.521.
link(60,68) :- #0.728.
link(68,60) :- #0.44.
link(60,87) :- #0.091.
link(87,60) :- #0.838.
link(60,91) :- #0.517.
link(91,60) :- #0.852.
link(60,110) :- #0.078.
link(110,60) :- #0.297.
link(60,111) :- #0.44.
link(111,60) :- #0.857.
link(60,121) :- #0.61.
link(121,60) :- #0.689.
link(60,148) :- #0.853.
link(148,60) :- #0.974.
link(61,71) :- #0.02.
link(71,61) :- #0.182.
link(61,73) :- #0.389.
link(73,61) :- #0.37.
link(61,85) :- #0.17.
link(85,61) :- #0.592.
link(61,94) :- #0.144.
link(94,61) :- #0.832.
link(61,101) :- #0.185.
link(101,61) :- #0.979.
link(61,104) :- #0.851.
link(104,61) :- #0.179.
link(61,109) :- #0.489.
link(109,61) :- #0.032.
link(61,128) :- #0.844.
link(128,61) :- #0.746.
link(61,135) :- #0.737.
link(135,61) :- #0.031.
link(61,148) :- #0.647.
link(148,61) :- #0.269.
link(61,150) :- #0.714.
link(150,61) :- #0.085.
link(62,75) :- #0.089.
link(75,62) :- #0.391.
link(62,76) :- #0.409.
link(76,62) :- #0.975.
link(62,77) :- #0.76.
link(77,62) :- #0.601.
link(62,86) :- #0.905.
link(86,62) :- #0.421.
link(62,88) :- #0.124.
link(88,62) :- #0.548.
link(62,89) :- #0.863.
link(89,62) :- #0.38.
link(62,96) :- #0.237.
link(96,62) :- #0.393.
link(62,134) :- #0.844.
link(134,62) :- #0.016.
link(62,142) :- #0.595.
link(142,62) :- #0.122.
link(62,147) :- #0.274.
link(147,62) :- #0.913.
link(62,149) :- #0.364.
link(149,62) :- #0.01.
link(63,66) :- #0.023.
link(66,63) :- #0.754.
link(63,82) :- #0.143.
link(82,63) :- #0.751.
link(63,83) :- #0.61.
link(83,63) :- #0.912.
link(63,86) :- #0.314.
link(86,63) :- #0.141.
link(63,101) :- #0.238.
link(101,63) :- #0.812.
link(63,105) :- #0.104.
link(105,63) :- #0.7.
link(63,107) :- #0.994.
link(107,63) :- #0.744.
link(63,113) :- #0.217.
link(113,63) :- #0.719.
link(63,145) :- #0.759.
link(145,63) :- #0.271.
link(64,76) :- #0.64.
link(76,64) :- #0.141.
link(64,120) :- #0.878.
link(120,64) :- #0.151.
link(64,132) :- #0.115.
link(132,64) :- #0.311.
link(65,87) :- #0.4.
link(87,65) :- #0.718.
link(65,93) :- #0.266.
link(93,65) :- #0.288.
link(65,94) :- #0.491.
link(94,65) :- #0.833.
link(65,107) :- #0.35.
link(107,65) :- #0.493.
link(65,111) :- #0.189.
link(111,65) :- #0.682.
link(65,117) :- #0.601.
link(117,65) :- #0.343.
link(65,124) :- #0.176.
link(124,65) :- #0.92.
link(65,133) :- #0.742.
link(133,65) :- #0.078.
link(65,150) :- #0.53.
link(150,65) :- #0.627.
link(66,75) :- #0.122.
link(75,66) :- #0.671.
link(66,81) :- #0.766.
link(81,66) :- #0.576.
link(66,96) :- #0.324.
link(96,66) :- #0.934.
link(66,106) :- #0.878.
link(106,66) :- #0.894.
link(66,107) :- #0.856.
link(107,66) :- #0.123.
link(66,128) :- #0.141.
link(128,66) :- #0.948.
link(66,134) :- #0.51.
link(134,66) :- #0.515.
link(67,68) :- #0.991.
link(68,67) :- #0.4.
link(67,71) :- #0.226.
link(71,67) :- #0.986.
link(67,73) :- #0.421.
link(73,67) :- #0.843.
link(67,81) :- #0.302.
link(81,67) :- #0.164.
link(67,101) :- #0.779.
link(101,67) :- #0.156.
link(67,108) :- #0.73.
link(108,67) :- #0.582.
link(67,112) :- #0.08.
link(112,67) :- #0.026.
link(67,129) :- #0.567.
link(129,67) :- #0.729.
link(67,132) :- #0.586.
link(132,67) :- #0.621.
link(68,95) :- #0.726.
link(95,68) :- #0.18.
link(68,105) :- #0.388.
link(105,68) :- #0.774.
link(68,110) :- #0.456.
link(110,68) :- #0.985.
link(68,114) :- #0.53.
link(114,68) :- #0.739.
link(68,117) :- #0.37.
link(117,68) :- #0.473.
link(68,126) :- #0.211.
link(126,68) :- #0.393.
link(68,130) :- #0.749.
link(130,68) :- #0.922.
link(68,132) :- #0.161.
link(132,68) :- #0.033.
link(69,70) :- #0.667.
link(70,69) :- #0.574.
link(69,85) :- #0.167.
link(85,69) :- #0.717.
link(69,88) :- #0.317.
link(88,69) :- #0.98.
link(69,92) :- #0.284.
link(92,69) :- #0.49.
link(69,105) :- #0.661.
link(105,69) :- #0.167.
link(69,123) :- #0.534.
link(123,69) :- #0.232.
link(69,144) :- #0.868.
link(144,69) :- #0.937.
link(70,77) :- #0.254.
link(77,70) :- #0.11.
link(70,86) :- #0.052.
link(86,70) :- #0.165.
link(70,99) :- #0.119.
link(99,70) :- #0.34.
link(70,100) :- #0.875.
link(100,70) :- #0.22.
link(70,111) :- #0.432.
link(111,70) :- #0.859.
link(70,115) :- #0.867.
link(115,70) :- #0.013.
link(70,121) :- #0.494.
link(121,70) :- #0.473.
link(70,136) :- #0.899.
link(136,70) :- #0.125.
link(70,140) :- #0.788.
link(140,70) :- #0.506.
link(71,73) :- #0.413.
link(73,71) :- #0.54.
link(71,83) :- #0.615.
link(83,71) :- #0.207.
link(71,101) :- #0.524.
link(101,71) :- #0.546.
link(72,80) :- #0.818.
link(80,72) :- #0.25.
link(72,94) :- #0.39.
link(94,72) :- #0.091.
link(72,120) :- #0.881.
link(120,72) :- #0.272.
link(72,124) :- #0.772.
link(124,72) :- #0.581.
link(72,140) :- #0.037.
link(140,72) :- #0.327.
link(72,149) :- #0.925.
link(149,72) :- #0.538.
link(73,76) :- #0.093.
link(76,73) :- #0.346.
link(73,84) :- #0.185.
link(84,73) :- #0.591.
link(73,90) :- #0.334.
link(90,73) :- #0.787.
link(73,92) :- #0.301.
link(92,73) :- #0.622.
link(73,94) :- #0.623.
link(94,73) :- #0.866.
link(73,95) :- #0.715.
link(95,73) :- #0.07.
link(73,103) :- #0.365.
link(103,73) :- #0.48.
link(73,104) :- #0.316.
link(104,73) :- #0.032.
link(73,129) :- #0.331.
link(129,73) :- #0.604.
link(73,134) :- #0.184.
link(134,73) :- #0.006.
link(74,75) :- #0.989.
link(75,74) :- #0.851.
link(74,96) :- #0.522.
link(96,74) :- #0.531.
link(74,98) :- #0.419.
link(98,74) :- #0.686.
link(74,102) :- #0.374.
link(102,74) :- #0.218.
link(74,112) :- #0.47.
link(112,74) :- #0.548.
link(74,121) :- #0.115.
link(121,74) :- #0.46.
link(74,137) :- #0.471.
link(137,74) :- #0.812.
link(74,149) :- #0.715.
link(149,74) :- #0.563.
link(75,79) :- #0.815.
link(79,75) :- #0.978.
link(75,89) :- #0.821.
link(89,75) :- #0.918.
link(75,99) :- #0.363.
link(99,75) :- #0.898.
link(75,109) :- #0.146.
link(109,75) :- #0.769.
link(75,117) :- #0.114.
link(117,75) :- #0.92.
link(75,123) :- #0.99.
link(123,75) :- #0.991.
link(75,138) :- #0.612.
link(138,75) :- #0.054.
link(75,147) :- #0.977.
link(147,75) :- #0.094.
link(76,83) :- #0.242.
link(83,76) :- #0.971.
link(76,111) :- #0.998.
link(111,76) :- #0.449.
link(76,138) :- #0.007.
link(138,76) :- #0.784.
link(77,107) :- #0.452.
link(107,77) :- #0.994.
link(77,119) :- #0.593.
link(119,77) :- #0.163.
link(77,125) :- #0.199.
link(125,77) :- #0.449.
link(77,128) :- #0.008.
link(128,77) :- #0.58.
link(77,131) :- #0.318.
link(131,77) :- #0.436.
link(77,133) :- #0.782.
link(133,77) :- #0.32.
link(77,141) :- #0.924.
link(141,77) :- #0.908.
link(78,80) :- #0.53.
link(80,78) :- #0.623.
link(78,85) :- #0.887.
link(85,78) :- #0.548.
link(78,97) :- #0.425.
link(97,78) :- #0.826.
link(78,100) :- #0.431.
link(100,78) :- #0.373.
link(78,107) :- #0.18.
link(107,78) :- #0.127.
link(78,109) :- #0.954.
link(109,78) :- #0.847.
link(78,135) :- #0.15.
link(135,78) :- #0.281.
link(79,85) :- #0.31.
link(85,79) :- #0.423.
link(79,101) :- #0.93.
link(101,79) :- #0.976.
link(79,114) :- #0.479.
link(114,79) :- #0.355.
link(79,134) :- #0.992.
link(134,79) :- #0.19.
link(79,138) :- #0.545.
link(138,79) :- #0.847.
link(79,150) :- #0.498.
link(150,79) :- #0.707.
link(80,89) :- #0.112.
link(89,80) :- #0.566.
link(80,99) :- #0.181.
link(99,80) :- #0.207.
link(80,101) :- #0.36.
link(101,80) :- #0.12.
link(80,105) :- #0.436.
link(105,80) :- #0.54.
link(80,114) :- #0.481.
link(114,80) :- #0.334.
link(80,129) :- #0.136.
link(129,80) :- #0.651.
link(80,138) :- #0.986.
link(138,80) :- #0.975.
link(81,83) :- #0.015.
link(83,81) :- #0.137.
link(81,97) :- #0.669.
link(97,81) :- #0.471.
link(81,99) :- #0.158.
link(99,81) :- #0.989.
link(81,123) :- #0.708.
link(123,81) :- #0.199.
link(81,130) :- #0.539.
link(130,81) :- #0.986.
link(81,133) :- #0.442.
link(133,81) :- #0.031.
link(81,139) :- #0.931.
link(139,81) :- #0.728.
link(81,142) :- #0.898.
link(142,81) :- #0.129.
link(82,87) :- #0.626.
link(87,82) :- #0.842.
link(82,105) :- #0.627.
link(105,82) :- #0.012.
link(82,113) :- #0.41.
link(113,82) :- #0.684.
link(82,135) :- #0.264.
link(135,82) :- #0.703.
link(83,89) :- #0.346.
link(89,83) :- #0.43.
link(83,110) :- #0.476.
link(110,83) :- #0.473.
link(83,112) :- #0.138.
link(112,83) :- #0.916.
link(83,113) :- #0.19.
link(113,83) :- #0.355.
link(83,127) :- #0.837.
link(127,83) :- #0.724.
link(83,144) :- #0.99.
link(144,83) :- #0.878.
link(83,146) :- #0.297.
link(146,83) :- #0.706.
link(84,93) :- #0.892.
link(93,84) :- #0.463.
link(84,100) :- #0.158.
link(100,84) :- #0.452.
link(84,102) :- #0.961.
link(102,84) :- #0.813.
link(84,120) :- #0.063.
link(120,84) :- #0.849.
link(84,129) :- #0.092.
link(129,84) :- #0.559.
link(84,130) :- #0.704.
link(130,84) :- #0.127.
link(84,142) :- #0.898.
link(142,84) :- #0.078.
link(85,97) :- #0.944.
link(97,85) :- #0.152.
link(85,124) :- #0.032.
link(124,85) :- #0.997.
link(85,125) :- #0.462.
link(125,85) :- #0.831.
link(85,142) :- #0.126.
link(142,85) :- #0.583.
link(86,87) :- #0.818.
link(87,86) :- #0.509.
link(86,95) :- #0.964.
link(95,86) :- #0.352.
link(86,105) :- #0.735.
link(105,86) :- #0.183.
link(86,113) :- #0.079.
link(113,86) :- #0.375.
link(86,125) :- #0.341.
link(125,86) :- #0.124.
link(86,130) :- #0.694.
link(130,86) :- #0.339.
link(86,132) :- #0.762.
link(132,86) :- #0.391.
link(86,138) :- #0.204.
link(138,86) :- #0.613.
link(86,148) :- #0.223.
link(148,86) :- #0.438.
link(87,104) :- #0.366.
link(104,87) :- #0.696.
link(87,129) :- #0.812.
link(129,87) :- #0.084.
link(87,142) :- #0.966.
link(142,87) :- #0.277.
link(87,144) :- #0.662.
link(144,87) :- #0.144.
link(87,148) :- #0.435.
link(148,87) :- #0.081.
link(87,150) :- #0.919.
link(150,87) :- #0.634.
link(88,91) :- #0.153.
link(91,88) :- #0.947.
link(88,117) :- #0.828.
link(117,88) :- #0.185.
link(88,132) :- #0.683.
link(132,88) :- #0.703.
link(88,140) :- #0.433.
link(140,88) :- #0.046.
link(88,142) :- #0.052.
link(142,88) :- #0.014.
link(88,147) :- #0.931.
link(147,88) :- #0.007.
link(88,148) :- #0.246.
link(148,88) :- #0.107.
link(89,93) :- #0.927.
link(93,89) :- #0.055.
link(89,104) :- #0.106.
link(104,89) :- #0.307.
link(89,105) :- #0.805.
link(105,89) :- #0.466.
link(89,113) :- #0.796.
link(113,89) :- #0.25.
link(89,130) :- #0.823.
link(130,89) :- #0.02.
link(89,131) :- #0.318.
link(131,89) :- #0.198.
link(89,138) :- #0.385.
link(138,89) :- #0.668.
link(89,139) :- #0.466.
link(139,89) :- #0.789.
link(89,143) :- #0.308.
link(143,89) :- #0.314.
link(90,96) :- #0.049.
link(96,90) :- #0.935.
link(90,135) :- #0.69.
link(135,90) :- #0.744.
link(90,144) :- #0.598.
link(144,90) :- #0.256.
link(90,145) :- #0.711.
link(145,90) :- #0.423.
link(90,147) :- #0.817.
link(147,90) :- #0.107.
link(91,93) :- #0.154.
link(93,91) :- #0.012.
link(91,111) :- #0.139.
link(111,91) :- #0.645.
link(91,112) :- #0.542.
link(112,91) :- #0.659.
link(91,113) :- #0.392.
link(113,91) :- #0.867.
link(91,129) :- #0.217.
link(129,91) :- #0.216.
link(91,146) :- #0.342.
link(146,91) :- #0.778.
link(91,147) :- #0.832.
link(147,91) :- #0.428.
link(92,111) :- #0.745.
link(111,92) :- #0.784.
link(92,116) :- #0.121.
link(116,92) :- #0.611.
link(92,143) :- #0.437.
link(143,92) :- #0.703.
link(92,145) :- #0.213.
link(145,92) :- #0.283.
link(92,148) :- #0.435.
link(148,92) :- #0.966.
link(93,107) :- #0.732.
link(107,93) :- #0.417.
link(93,109) :- #0.126.
link(109,93) :- #0.283.
link(93,110) :- #0.456.
link(110,93) :- #0.596.
link(93,114) :- #0.581.
link(114,93) :- #0.394.
link(93,122) :- #0.073.
link(122,93) :- #0.806.
link(93,130) :- #0.069.
link(130,93) :- #0.096.
link(93,132) :- #0.799.
link(132,93) :- #0.492.
link(93,146) :- #0.893.
link(146,93) :- #0.273.
link(93,150) :- #0.922.
link(150,93) :- #0.935.
link(94,102) :- #0.004.
link(102,94) :- #0.737.
link(94,107) :- #0.474.
link(107,94) :- #0.892.
link(94,114) :- #0.129.
link(114,94) :- #0.525.
link(94,122) :- #0.511.
link(122,94) :- #0.715.
link(94,129) :- #0.799.
link(129,94) :- #0.616.
link(94,131) :- #0.271.
link(131,94) :- #0.882.
link(94,138) :- #0.971.
link(138,94) :- #0.5.
link(94,145) :- #0.855.
link(145,94) :- #0.927.
link(95,109) :- #0.508.
link(109,95) :- #0.39.
link(95,112) :- #0.874.
link(112,95) :- #0.362.
link(95,116) :- #0.54.
link(116,95) :- #0.38.
link(95,122) :- #0.722.
link(122,95) :- #0.02.
link(95,129) :- #0.473.
link(129,95) :- #0.253.
link(95,131) :- #0.946.
link(131,95) :- #0.903.
link(95,132) :- #0.672.
link(132,95) :- #0.718.
link(95,147) :- #0.559.
link(147,95) :- #0.443.
link(96,122) :- #0.599.
link(122,96) :- #0.377.
link(97,105) :- #0.634.
link(105,97) :- #0.004.
link(97,106) :- #0.654.
link(106,97) :- #0.053.
link(97,132) :- #0.992.
link(132,97) :- #0.618.
link(97,138) :- #0.212.
link(138,97) :- #0.964.
link(97,148) :- #0.247.
link(148,97) :- #0.492.
link(97,149) :- #0.312.
link(149,97) :- #0.573.
link(97,150) :- #0.636.
link(150,97) :- #0.753.
link(98,99) :- #0.317.
link(99,98) :- #0.524.
link(98,105) :- #0.335.
link(105,98) :- #0.636.
link(98,109) :- #0.237.
link(109,98) :- #0.322.
link(98,121) :- #0.054.
link(121,98) :- #0.505.
link(98,124) :- #0.647.
link(124,98) :- #0.17.
link(98,127) :- #0.314.
link(127,98) :- #0.67.
link(98,137) :- #0.441.
link(137,98) :- #0.587.
link(98,140) :- #0.646.
link(140,98) :- #0.172.
link(99,114) :- #0.641.
link(114,99) :- #0.984.
link(99,130) :- #0.061.
link(130,99) :- #0.771.
link(99,139) :- #0.946.
link(139,99) :- #0.658.
link(99,141) :- #0.157.
link(141,99) :- #0.46.
link(99,144) :- #0.351.
link(144,99) :- #0.743.
link(100,107) :- #0.634.
link(107,100) :- #0.277.
link(100,108) :- #0.621.
link(108,100) :- #0.358.
link(100,114) :- #0.255.
link(114,100) :- #0.082.
link(100,116) :- #0.344.
link(116,100) :- #0.578.
link(100,117) :- #0.365.
link(117,100) :- #0.805.
link(100,147) :- #0.106.
link(147,100) :- #0.386.
link(101,108) :- #0.346.
link(108,101) :- #0.411.
link(101,111) :- #0.863.
link(111,101) :- #0.491.
link(101,115) :- #0.112.
link(115,101) :- #0.243.
link(101,132) :- #0.788.
link(132,101) :- #0.734.
link(101,136) :- #0.368.
link(136,101) :- #0.152.
link(101,138) :- #0.845.
link(138,101) :- #0.975.
link(101,139) :- #0.369.
link(139,101) :- #0.04.
link(102,104) :- #0.634.
link(104,102) :- #0.2.
link(102,118) :- #0.831.
link(118,102) :- #0.553.
link(102,119) :- #0.944.
link(119,102) :- #0.381.
link(102,122) :- #0.271.
link(122,102) :- #0.062.
link(102,137) :- #0.128.
link(137,102) :- #0.269.
link(103,109) :- #0.764.
link(109,103) :- #0.95.
link(103,111) :- #0.341.
link(111,103) :- #0.092.
link(103,122) :- #0.287.
link(122,103) :- #0.335.
link(103,123) :- #0.683.
link(123,103) :- #0.456.
link(103,129) :- #0.561.
link(129,103) :- #0.58.
link(103,132) :- #0.964.
link(132,103) :- #0.012.
link(103,133) :- #0.492.
link(133,103) :- #0.374.
link(103,146) :- #0.699.
link(146,103) :- #0.534.
link(104,112) :- #0.941.
link(112,104) :- #0.439.
link(104,113) :- #0.734.
link(113,104) :- #0.334.
link(104,130) :- #0.931.
link(130,104) :- #0.416.
link(104,136) :- #0.844.
link(136,104) :- #0.948.
link(104,139) :- #0.347.
link(139,104) :- #0.626.
link(104,141) :- #0.557.
link(141,104) :- #0.098.
link(105,138) :- #0.479.
link(138,105) :- #0.828.
link(106,113) :- #0.24.
link(113,106) :- #0.095.
link(106,121) :- #0.18.
link(121,106) :- #0.075.
link(106,124) :- #0.121.
link(124,106) :- #0.558.
link(106,126) :- #0.998.
link(126,106) :- #0.133.
link(106,131) :- #0.993.
link(131,106) :- #0.108.
link(106,147) :- #0.171.
link(147,106) :- #0.758.
link(107,116) :- #0.953.
link(116,107) :- #0.952.
link(107,122) :- #0.378.
link(122,107) :- #0.614.
link(107,128) :- #0.881.
link(128,107) :- #0.224.
link(107,129) :- #0.063.
link(129,107) :- #0.477.
link(107,132) :- #0.867.
link(132,107) :- #0.898.
link(107,137) :- #0.177.
link(137,107) :- #0.193.
link(107,138) :- #0.106.
link(138,107) :- #0.812.
link(107,141) :- #0.531.
link(141,107) :- #0.128.
link(107,144) :- #0.611.
link(144,107) :- #0.233.
link(108,130) :- #0.213.
link(130,108) :- #0.348.
link(108,135) :- #0.708.
link(135,108) :- #0.669.
link(108,138) :- #0.917.
link(138,108) :- #0.888.
link(109,111) :- #0.533.
link(111,109) :- #0.812.
link(109,112) :- #0.402.
link(112,109) :- #0.165.
link(109,136) :- #0.623.
link(136,109) :- #0.244.
link(109,148) :- #0.931.
link(148,109) :- #0.119.
link(110,112) :- #0.07.
link(112,110) :- #0.459.
link(110,133) :- #0.576.
link(133,110) :- #0.202.
link(111,112) :- #0.391.
link(112,111) :- #0.031.
link(111,123) :- #0.948.
link(123,111) :- #0.913.
link(111,125) :- #0.177.
link(125,111) :- #0.996.
link(111,135) :- #0.774.
link(135,111) :- #0.78.
link(111,136) :- #0.204.
link(136,111) :- #0.5.
link(111,147) :- #0.897.
link(147,111) :- #0.099.
link(111,150) :- #0.14.
link(150,111) :- #0.039.
link(112,119) :- #0.743.
link(119,112) :- #0.446.
link(112,121) :- #0.334.
link(121,112) :- #0.58.
link(112,124) :- #0.038.
link(124,112) :- #0.243.
link(112,126) :- #0.794.
link(126,112) :- #0.034.
link(112,129) :- #0.976.
link(129,112) :- #0.823.
link(112,131) :- #0.954.
link(131,112) :- #0.883.
link(112,142) :- #0.112.
link(142,112) :- #0.611.
link(113,133) :- #0.852.
link(133,113) :- #0.828.
link(113,134) :- #0.643.
link(134,113) :- #0.82.
link(113,139) :- #0.055.
link(139,113) :- #0.579.
link(114,128) :- #0.437.
link(128,114) :- #0.344.
link(114,132) :- #0.923.
link(132,114) :- #0.924.
link(114,141) :- #0.212.
link(141,114) :- #0.14.
link(115,143) :- #0.438.
link(143,115) :- #0.073.
link(115,145) :- #0.546.
link(145,115) :- #0.113.
link(116,148) :- #0.786.
link(148,116) :- #0.459.
link(117,123) :- #0.35.
link(123,117) :- #0.38.
link(117,126) :- #0.741.
link(126,117) :- #0.408.
link(117,127) :- #0.858.
link(127,117) :- #0.332.
link(117,150) :- #0.682.
link(150,117) :- #0.841.
link(118,123) :- #0.989.
link(123,118) :- #0.553.
link(118,128) :- #0.087.
link(128,118) :- #0.615.
link(118,132) :- #0.694.
link(132,118) :- #0.612.
link(118,139) :- #0.692.
link(139,118) :- #0.952.
link(118,142) :- #0.033.
link(142,118) :- #0.74.
link(118,143) :- #0.205.
link(143,118) :- #0.091.
link(119,122) :- #0.693.
link(122,119) :- #0.509.
link(120,132) :- #0.756.
link(132,120) :- #0.782.
link(120,147) :- #0.276.
link(147,120) :- #0.723.
link(121,122) :- #0.816.
link(122,121) :- #0.421.
link(121,127) :- #0.274.
link(127,121) :- #0.779.
link(121,129) :- #0.536.
link(129,121) :- #0.368.
link(121,132) :- #0.534.
link(132,121) :- #0.868.
link(121,134) :- #0.683.
link(134,121) :- #0.004.
link(121,144) :- #0.359.
link(144,121) :- #0.28.
link(121,145) :- #0.1.
link(145,121) :- #0.973.
link(121,150) :- #0.859.
link(150,121) :- #0.228.
link(122,142) :- #0.931.
link(142,122) :- #0.216.
link(123,127) :- #0.014.
link(127,123) :- #0.41.
link(123,140) :- #0.373.
link(140,123) :- #0.487.
link(123,144) :- #0.002.
link(144,123) :- #0.84.
link(124,128) :- #0.195.
link(128,124) :- #0.866.
link(124,145) :- #0.983.
link(145,124) :- #0.424.
link(125,128) :- #0.394.
link(128,125) :- #0.146.
link(125,140) :- #0.92.
link(140,125) :- #0.414.
link(126,129) :- #0.674.
link(129,126) :- #0.14.
link(126,130) :- #0.381.
link(130,126) :- #0.314.
link(126,135) :- #0.69.
link(135,126) :- #0.793.
link(126,140) :- #0.254.
link(140,126) :- #0.226.
link(126,146) :- #0.41.
link(146,126) :- #0.299.
link(127,130) :- #0.952.
link(130,127) :- #0.94.
link(127,138) :- #0.493.
link(138,127) :- #0.09.
link(127,146) :- #0.163.
link(146,127) :- #0.783.
link(128,131) :- #0.97.
link(131,128) :- #0.918.
link(128,137) :- #0.368.
link(137,128) :- #0.99.
link(129,130) :- #0.103.
link(130,129) :- #0.244.
link(129,135) :- #0.798.
link(135,129) :- #0.
link(130,131) :- #0.238.
link(131,130) :- #0.548.
link(131,147) :- #0.031.
link(147,131) :- #0.951.
link(132,135) :- #0.418.
link(135,132) :- #0.093.
link(132,136) :- #0.025.
link(136,132) :- #0.973.
link(133,142) :- #0.22.
link(142,133) :- #0.324.
link(134,144) :- #0.699.
link(144,134) :- #0.681.
link(134,147) :- #0.575.
link(147,134) :- #0.601.
link(135,146) :- #0.681.
link(146,135) :- #0.149.
link(136,140) :- #0.591.
link(140,136) :- #0.155.
link(136,141) :- #0.062.
link(141,136) :- #0.371.
link(136,143) :- #0.638.
link(143,136) :- #0.15.
link(136,146) :- #0.779.
link(146,136) :- #0.598.
link(137,150) :- #0.214.
link(150,137) :- #0.845.
link(139,148) :- #0.076.
link(148,139) :- #0.65.
link(141,148) :- #0.525.
link(148,141) :- #0.303.
link(142,146) :- #0.606.
link(146,142) :- #0.383.
link(142,148) :- #0.032.
link(148,142) :- #0.677.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
